//#include <asm-i386/print.h>
//#include <asm-i386/types.h>
//#include <linux/sync.h>
//static struct lock console_lock;    // 控制台锁
//
///* 初始化终端 */
//void console_init() {
//  lock_init(&console_lock);
//}
//
///* 获取终端 */
//void console_acquire() {
//   lock_acquire(&console_lock);
//}
//
///* 释放终端 */
//void console_release() {
//   lock_release(&console_lock);
//}
//
///* 终端中输出字符串 */
//void console_put_str(char* str) {
//   console_acquire();
//   print_str(str);
//   console_release();
//}
//
///* 终端中输出字符 */
//void console_put_char(uint8_t char_asci) {
//   console_acquire();
//   put_char(char_asci);
//   console_release();
//}
//
///* 终端中输出16进制整数 */
//void console_put_int(uint32_t num) {
//   console_acquire();
//   print_int(num);
//   console_release();
//}
//
